Eitan Farchi: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Reports of the Workshops of the 32nd AAAI Conference on Artificial Intelligence

Bouchard, Bruno, Bouchard, Kevin, Brown, Noam, Chhaya, Niyati, Farchi, Eitan, Gaboury, Sebastien, Geib, Christopher, Gyrard, Amelie, Jaidka, Kokil, Keren, Sarah, Khardon, Roni, Kordjamshidi, Parisa, M

Journal:

Year:

2018

Language:

english

File:

PDF, 3.47 MB

english, 2018

2

Framework for testing multi-threaded Java programs

Orit Edelstein, Eitan Farchi, Evgeny Goldin, Yarden Nir, Gil Ratsaby, Shmuel Ur

Journal:

Concurrency and Computation: Practice and Experience

Year:

2003

Language:

english

File:

PDF, 162 KB

english, 2003

3

[IEEE 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - OH, USA (2014.3.31-2014.4.4)] 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops - Combinatorial Testing with Order Requirements

Farchi, Eitan, Segall, Itai, Tzoref-Brill, Rachel, Zlotnick, Aviad

Year:

2014

Language:

english

File:

PDF, 353 KB

english, 2014

4

[IEEE Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Paphos, Cyprus (2006.11.15-2006.11.19)] Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Noise Makers Need to Know Where to be Silent Producing Schedules That Find Bugs

Ben-Asher, Yosi, Eytani, Yaniv, Farchi, Eitan, Ur, Shmuel

Year:

2006

Language:

english

File:

PDF, 363 KB

english, 2006

5

[ACM Press the 2019 27th ACM Joint Meeting - Tallinn, Estonia (2019.08.26-2019.08.30)] Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2019 - Bridging the gap between ML solutions and their business requirements using feature interactions

Barash, Guy, Farchi, Eitan, Jayaraman, Ilan, Raz, Orna, Tzoref-Brill, Rachel, Zalmanovici, Marcel

Year:

2019

Language:

english

File:

PDF, 937 KB

english, 2019

6

Choosing among alternative pasts

Marina Biberstein, Eitan Farchi, Shmuel Ur

Journal:

Concurrency and Computation: Practice and Experience

Year:

2007

Language:

english

File:

PDF, 242 KB

english, 2007

7

Distributed desk checking

Amiram Hayardeny, Shachar Fienblit, Eitan Farchi

Journal:

Concurrency and Computation: Practice and Experience

Year:

2007

Language:

english

File:

PDF, 205 KB

english, 2007

8

Using true concurrency to model execution of parallel programs

Yosi Ben-Asher, Eitan Farchi

Journal:

International Journal of Parallel Programming

Year:

1994

Language:

english

File:

PDF, 1.43 MB

english, 1994

9

Optimal Search in Trees

Ben-Asher, Yosi, Farchi, Eitan, Newman, Ilan

Journal:

SIAM Journal on Computing

Year:

1999

Language:

english

File:

PDF, 342 KB

english, 1999

10

[ACM Press the 8th Workshop - Trento, Italy (2010.07.13-2010.07.13)] Proceedings of the 8th Workshop on Parallel and Distributed Systems Testing, Analysis, and Debugging - PADTAD '10 - Unit testing for concurrent business code

Qi, Yao, Nir-Buchbinder, Yarden, Farchi, Eitan, Das, Raja, Luo, Zhi Da, Gan, Zhi

Year:

2010

Language:

english

File:

PDF, 1.01 MB

english, 2010

11

[Lecture Notes in Computer Science] Multicore Software Engineering, Performance, and Tools Volume 8063 || Self-timed Scheduling and Execution of Nonlinear Pipelines with Parallel Stages

Lourenço, João M., Farchi, Eitan

Year:

2013

Language:

english

File:

PDF, 354 KB

english, 2013

12

[Lecture Notes in Computer Science] Multicore Software Engineering, Performance, and Tools Volume 8063 ||

Lourenço, João M., Farchi, Eitan

Year:

2013

Language:

english

File:

PDF, 2.19 MB

english, 2013

13

[ACM Press the 2011 International Symposium - Toronto, Ontario, Canada (2011.07.17-2011.07.21)] Proceedings of the 2011 International Symposium on Software Testing and Analysis - ISSTA '11 - Using binary decision diagrams for combinatorial test design

Segall, Itai, Tzoref-Brill, Rachel, Farchi, Eitan

Year:

2011

Language:

english

File:

PDF, 834 KB

english, 2011

14

[IEEE 2008 International Conference on Software Testing, Verification, and Validation - Lillehammer, Norway (2008.04.9-2008.04.11)] 2008 International Conference on Software Testing, Verification, and Validation - Selective Homeworkless Reviews

Farchi, Eitan, Ur, Shmuel

Year:

2008

Language:

english

File:

PDF, 400 KB

english, 2008

15

[IEEE 2009 ICSE Workshop on Wikis for Software Engineering (WIKIS4SE) - Vancouver, BC, Canada (2009.05.19-2009.05.19)] 2009 ICSE Workshop on Wikis for Software Engineering - An effective method for keeping design artifacts up-to-date

Yochai Ben-Chaim,, Farchi, Eitan, Raz, Orna

Year:

2009

Language:

english

File:

PDF, 473 KB

english, 2009

16

[IEEE 2013 IEEE 6th International Conference On Software Testing, Verification and Validation Workshops (ICSTW) - Luxembourg, Luxembourg (2013.03.18-2013.03.22)] 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops - Using Projections to Debug Large Combinatorial Models

Farchi, Eitan, Segall, Itai, Tzoref-Brill, Rachel

Year:

2013

Language:

english

File:

PDF, 246 KB

english, 2013

17

[IEEE Formal Methods in Computer Aided Design (FMCAD'07) - Austin, TX, USA (2007.11.11-2007.11.14)] Formal Methods in Computer Aided Design (FMCAD'07) - Cross-Entropy Based Testing

Chockler, Hana, Farchi, Eitan, Godlin, Benny, Novikov, Sergey

Year:

2007

Language:

english

File:

PDF, 188 KB

english, 2007

18

[IEEE 2009 31st International Conference on Software Engineering - Companion Volume - Vancouver, BC, Canada (2009.05.16-2009.05.24)] 2009 31st International Conference on Software Engineering - Companion Volume - Automated substring hole analysis

Adler, Yoram, Farchi, Eitan, Klausner, Moshe, Pelleg, Dan, Raz, Orna, Shochat, Moran, Ur, Shmuel, Zlotnick, Aviad

Year:

2009

Language:

english

File:

PDF, 477 KB

english, 2009

19

[ACM Press the 24th annual international ACM SIGIR conference - New Orleans, Louisiana, United States (2001..-..)] Proceedings of the 24th annual international ACM SIGIR conference on Research and development in information retrieval - SIGIR '01 - Static index pruning for information retrieval systems

Carmel, David, Cohen, Doron, Fagin, Ronald, Farchi, Eitan, Herscovici, Michael, Maarek, Yoelle S., Soffer, Aya

Year:

2001

Language:

english

File:

PDF, 245 KB

english, 2001

20

COMPACT REPRESENTATIONS OF SEARCH IN COMPLEX DOMAINS

BEN-ASHER, YOSI, FARCHI, EITAN

Journal:

International Game Theory Review

Year:

2005

Language:

english

File:

PDF, 254 KB

english, 2005

21

COMPACT REPRESENTATIONS OF SEARCH IN COMPLEX DOMAINS

BEN-ASHER, YOSI, FARCHI, EITAN

Journal:

International Game Theory Review

Year:

2005

Language:

english

File:

PDF, 269 KB

english, 2005

22

[ACM Press the tenth ACM SIGPLAN symposium - Chicago, IL, USA (2005.06.15-2005.06.17)] Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '05 - Applications of synchronization coverage

Bron, Arkady, Farchi, Eitan, Magid, Yonit, Nir, Yarden, Ur, Shmuel

Year:

2005

Language:

english

File:

PDF, 121 KB

english, 2005

23

[ACM Press the 2008 international symposium - Seattle, WA, USA (2008.07.20-2008.07.24)] Proceedings of the 2008 international symposium on Software testing and analysis - ISSTA '08 - 6th workshop on parallel and distributed systems

Ur, Shmuel, Stoller, Scott D., Farchi, Eitan D.

Year:

2008

Language:

english

File:

PDF, 84 KB

english, 2008

24

[ACM Press the Workshop - Toronto, Ontario, Canada (2011.07.17-2011.07.17)] Proceedings of the Workshop on Parallel and Distributed Systems Testing, Analysis, and Debugging - PADTAD '11 - Practical verification of high-level dataraces in transactional memory programs

Pessanha, Vasco, Dias, Ricardo J., Lourenço, João M., Farchi, Eitan, Sousa, Diogo

Year:

2011

Language:

english

File:

PDF, 475 KB

english, 2011

25

[ACM Press Proceeding of the 2006 workshop - Portland, Maine, USA (2006.07.17-2006.07.17)] Proceeding of the 2006 workshop on Parallel and distributed systems: testing and debugging - PADTAD '06 - Producing scheduling that causes concurrent programs to fail

Ben-Asher, Yosi, Eytani, Yaniv, Farchi, Eitan, Ur, Shmuel

Year:

2006

Language:

english

File:

PDF, 71 KB

english, 2006

26

[ACM Press the eighteenth international symposium - Chicago, IL, USA (2009.07.19-2009.07.23)] Proceedings of the eighteenth international symposium on Software testing and analysis - ISSTA '09 - Advanced code coverage analysis using substring holes

Adler, Yoram, Farchi, Eitan, Klausner, Moshe, Pelleg, Dan, Raz, Orna, Shochat, Moran, Ur, Shmuel, Zlotnick, Aviad

Year:

2009

Language:

english

File:

PDF, 417 KB

english, 2009

27

[ACM Press the 7th Workshop - Chicago, Illinois (2009.07.19-2009.07.20)] Proceedings of the 7th Workshop on Parallel and Distributed Systems Testing, Analysis, and Debugging - PADTAD '09 - Forcing small models of conditions on program interleaving for detection of concurrent bugs

Trainin, Ehud, Nir-Buchbinder, Yarden, Tzoref-Brill, Rachel, Zlotnick, Aviad, Ur, Shmuel, Farchi, Eitan

Year:

2009

Language:

english

File:

PDF, 55 KB

english, 2009

28

[ACM Press the 8th Workshop - Trento, Italy (2010.07.13-2010.07.13)] Proceedings of the 8th Workshop on Parallel and Distributed Systems Testing, Analysis, and Debugging - PADTAD '10 - Detection of Transactional Memory anomalies using static analysis

Teixeira, Bruno, Lourenço, João, Farchi, Eitan, Dias, Ricardo, Sousa, Diogo

Year:

2010

Language:

english

File:

PDF, 833 KB

english, 2010

29

[ACM Press the 2012 Workshop - Minneapolis, MN, USA (2012.07.16-2012.07.16)] Proceedings of the 2012 Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging - PADTAD 2012 - Using combinatorial benchmark construction to improve the assessment of concurrency bug detection tools

Bradbury, Jeremy S., Segall, Itai, Farchi, Eitan, Jalbert, Kevin, Kelk, David

Year:

2012

Language:

english

File:

PDF, 442 KB

english, 2012

30

[ACM Press the 2012 Workshop - Minneapolis, MN, USA (2012.07.16-2012.07.16)] Proceedings of the 2012 Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging - PADTAD 2012 - Using program closures to make an application programming interface (API) implementation thread safe

Farchi, Eitan, Segall, Itai, Lourenço, João M., Sousa, Diogo

Year:

2012

Language:

english

File:

PDF, 342 KB

english, 2012

31

[ACM Press the 2001 joint ACM-ISCOPE conference - Palo Alto, California, United States (2001..-..)] Proceedings of the 2001 joint ACM-ISCOPE conference on Java Grande - JGI '01 - Multithreaded Java program test generation

Edelstein, Orit, Farchi, Eitan, Nir, Yarden, Ratsaby, Gil, Ur, Shmuel

Year:

2001

Language:

english

File:

PDF, 73 KB

english, 2001

32

[ACM Press the 25th annual international ACM SIGIR conference - Tampere, Finland (2002.08.11-2002.08.15)] Proceedings of the 25th annual international ACM SIGIR conference on Research and development in information retrieval - SIGIR '02 - Automatic query wefinement using lexical affinities with maximal information gain

Carmel, David, Farchi, Eitan, Petruschka, Yael, Soffer, Aya

Year:

2002

Language:

english

File:

PDF, 204 KB

english, 2002

33

[ACM Press Proceeding of the 2006 workshop - Portland, Maine, USA (2006.07.17-2006.07.17)] Proceeding of the 2006 workshop on Parallel and distributed systems: testing and debugging - PADTAD '06 - Formal verification of concurrent software

Chockler, Hana, Farchi, Eitan, Glazberg, Ziv, Godlin, Benny, Nir-Buchbinder, Yarden, Rabinovitz, Ishai

Year:

2006

Language:

english

File:

PDF, 206 KB

english, 2006

34

[IEEE 2015 IEEE 21st International Conference on Parallel and Distributed Systems (ICPADS) - Melbourne, VIC (2015.12.14-2015.12.17)] 2015 IEEE 21st International Conference on Parallel and Distributed Systems (ICPADS) - Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical Systems

Spichkova, Maria, Zamansky, Anna, Farchi, Eitan

Year:

2015

Language:

english

File:

PDF, 462 KB

english, 2015

35

[IEEE Formal Methods in Computer Aided Design (FMCAD'07) - Austin, TX, USA (2007.11.11-2007.11.14)] Formal Methods in Computer Aided Design (FMCAD'07) - Cross-Entropy Based Testing

Chockler, Hana, Farchi, Eitan, Godlin, Benny, Novikov, Sergey

Year:

2007

Language:

english

File:

PDF, 188 KB

english, 2007

36

Special issue on testing, analysis and debugging of concurrent programs

Farchi, Eitan, Hierons, Robert M., Lourenço, João

Journal:

Software Testing, Verification and Reliability

Year:

2015

Language:

english

File:

PDF, 27 KB

english, 2015

37

[IEEE 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Tokyo, Japan (2017.3.13-2017.3.17)] 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - A Composition-Based Method for Combinatorial Test Design

Zamansky, Anna, Shwartz, Amir, Khoury, Seri, Farchi, Eitan

Year:

2017

Language:

english

File:

PDF, 305 KB

english, 2017

38

[IEEE 2017 IEEE International High-Level Design Validation and Test Workshop (HLDVT) - Santa Cruz, CA (2017.10.5-2017.10.6)] 2017 IEEE International High Level Design Validation and Test Workshop (HLDVT) - A randomized algorithm for constructing cross-feature tests from single feature tests

Barash, Guy, Farchi, Eitan

Year:

2017

Language:

english

File:

PDF, 946 KB

english, 2017

39

The Study of Resource Allocation among Software Development Phases: An Economics-Based Approach

Yiftachel, Peleg, Hadar, Irit, Peled, Dan, Farchi, Eitan, Goldwasser, Dan

Journal:

Advances in Software Engineering

Year:

2011

Language:

english

File:

PDF, 1.75 MB

english, 2011

40

[Communications in Computer and Information Science] Engineering Dependable and Secure Machine Learning Systems Volume 1272 (Third International Workshop, EDSMLS 2020, New York City, NY, USA, February 7, 2020, Revised Selected Papers) ||

Shehory, Onn, Farchi, Eitan, Barash, Guy

Year:

2020

File:

PDF, 14.90 MB

2020

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски